\relax 
\bibstyle{plainnat}
\citation{lavrac1,Muggleton99inductivelogic,Muggleton_2012_IT_2123932_2123939,BergadanoGu95}
\citation{muggleton1}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{intro}{{1}{1}}
\citation{UtgoffM82}
\newlabel{clauseage1}{{1}{2}}
\newlabel{clauseage2}{{1}{3}}
\newlabel{categorical_theories}{{1}{3}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces These theories explain whether a geometric figure is a quadrilateral or not. The predicate {\em  member}$/2$ in theory $2$ reduces the number of rules.}}{3}}
\citation{aleph1}
\citation{muggleton1}
\citation{quinlan1}
\citation{Dehaspe99discoveryof}
\citation{Karalic:1997:FOR:251646.251651}
\citation{aleph1}
\citation{Srinivasan99numericalreasoning}
\@writefile{toc}{\contentsline {section}{\numberline {2}Previous work}{4}}
\newlabel{previous_work}{{2}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Lazy Discretization in Aleph}{4}}
\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces Basic Aleph algorithm}}{4}}
\newlabel{basic_aleph}{{1}{4}}
\citation{Srinivasan99numericalreasoning}
\citation{Srinivasan99numericalreasoning}
\citation{Blockeel97lookaheadand}
\citation{Blockeel97lookaheadand}
\citation{FayyadI93}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Discretization in TILDE}{5}}
\citation{ace1}
\citation{Laer96multi-classproblems,Raedt95inductiveconstraint}
\citation{DivinaM05}
\citation{JaffarL87}
\citation{Anthony97generatingnumerical}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Constraint Logic Programming in NUM algorithm}{6}}
\citation{BottaG93}
\citation{Goldberg:1989:GAS:534133}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}SMART+}{7}}
\newlabel{smart1}{{1}{7}}
\citation{Goldberg:1989:GAS:534133}
\citation{omt1}
\citation{quest1}
\citation{cruise1}
\newlabel{smart2}{{2}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Multivalue learning in ILP {\it  (MVL-ILP)}}{8}}
\newlabel{mvl_ilp}{{2.5}{8}}
\citation{gnanadesikan1997methods}
\citation{Macqueen67somemethods}
\citation{friedman1}
\citation{Augier95learningfirst}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}SIA01}{10}}
\newlabel{sia01}{{2.6}{10}}
\newlabel{fig:cromosoma2}{{2.6}{10}}
\newlabel{fig:cromosoma3}{{2.6}{10}}
\newlabel{fig:cromosoma4}{{2.6}{10}}
\citation{DivinaM05}
\citation{FayyadI93}
\citation{Dempster77maximumlikelihood}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7}ECL}{11}}
\newlabel{ecl}{{2.7}{11}}
\citation{knobbe1}
\citation{knobbe1}
\citation{Lavrac:1991:LND:645322.649501}
\citation{Lavrac:1991:LND:645322.649501}
\citation{KrogelEtAl:2003}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8}Propositionalization with LINUS and its extensions}{12}}
\newlabel{propositionalization}{{2.8}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Grouping and Discretization for Background Knowledge Enrichment}{13}}
\newlabel{proposed_method}{{3}{13}}
\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces Aleph algorithm with GD-BKE}}{13}}
\newlabel{gd_bke}{{2}{13}}
\citation{uci}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}State parameters}{14}}
\newlabel{state_parameters}{{3.1}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Create FixedSubintervals and FixedSubsets}{14}}
\newlabel{create_fixed}{{3.2}{14}}
\citation{DivinaM05}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Discretization and Grouping}{15}}
\newlabel{discretization_grouping}{{3.3}{15}}
\newlabel{fitness_information_gain}{{3}{15}}
\citation{IencoPM09}
\newlabel{fitness_information_gain2}{{4}{16}}
\newlabel{categoricalFitness}{{5}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Build a bottom clause that entails the example $e$}{17}}
\newlabel{build_bottom_clause}{{3.4}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}Search}{17}}
\newlabel{aleph_search}{{3.5}{17}}
\citation{uci}
\citation{Srinivasan97carcinogenesispredictions}
\citation{Muggleton89anexperimental}
\citation{Muggleton94mutagenesis:ilp}
\citation{journals/tplp/CostaRD12}
\citation{ace1}
\@writefile{toc}{\contentsline {section}{\numberline {4}Experimental results}{18}}
\newlabel{experimental_results}{{4}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Materials}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Method}{18}}
\citation{aleph1}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Results}{20}}
\@writefile{toc}{\contentsline {paragraph}{GD-BKE vs Discretization and Lazy Aleph}{20}}
\@writefile{toc}{\contentsline {paragraph}{GD-BKE vs TILDE}{20}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces This table show both the accuracy and the number of rules for each dataset. These results were obtained with GD-BKE and Lazy Aleph. The best values are shown in bold. The symbol "$\dagger $" indicates that accuracy of GD-BKE is significantly better than Lazy Aleph.}}{21}}
\newlabel{tab:bkevslazy}{{2}{21}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Conclusions and Future Work}{21}}
\newlabel{conclusions}{{5}{21}}
\citation{BottaG93}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces This table show both the accuracy and the number of rules for each dataset. These results were obtained with GD-BKE and Tilde. The best values are shown in bold. The symbol "$\dagger $" indicates that accuracy of GD-BKE is significantly better than Tilde.}}{22}}
\newlabel{tab:bkevstilde}{{3}{22}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces This graphic shows the accuracy for each dataset. GD-BKE is better than Lazy Aleph and TILDE in most of datasets.}}{22}}
\newlabel{fig:grafica_precision}{{1}{22}}
\bibdata{biblio}
\bibcite{Anthony97generatingnumerical}{{1}{1997}{{Anthony and Frisch}}{{}}}
\bibcite{Augier95learningfirst}{{2}{1995}{{Augier et~al.}}{{Augier, Venturini, and Kodratoff}}}
\bibcite{BergadanoGu95}{{3}{1995}{{Bergadano and Gunetti}}{{}}}
\bibcite{ace1}{{4}{2009}{{Blockeel and Dehaspe}}{{}}}
\bibcite{Blockeel97lookaheadand}{{5}{1997}{{Blockeel and De~Raedt}}{{}}}
\bibcite{BottaG93}{{6}{1993}{{Botta and Giordana}}{{}}}
\bibcite{journals/tplp/CostaRD12}{{7}{2012}{{Costa et~al.}}{{Costa, Rocha, and Damas}}}
\bibcite{Raedt95inductiveconstraint}{{8}{1995}{{De~Raedt and Van~Laer}}{{}}}
\bibcite{Dehaspe99discoveryof}{{9}{1999}{{Dehaspe and Toivonen}}{{}}}
\bibcite{Dempster77maximumlikelihood}{{10}{1977}{{Dempster et~al.}}{{Dempster, Laird, and Rubin}}}
\bibcite{DivinaM05}{{11}{2005}{{Divina and Marchiori}}{{}}}
\bibcite{FayyadI93}{{12}{1993}{{Fayyad and Irani}}{{}}}
\bibcite{uci}{{13}{2010}{{Frank and Asuncion}}{{}}}
\bibcite{friedman1}{{14}{1989}{{Friedman}}{{}}}
\bibcite{gnanadesikan1997methods}{{15}{1997}{{Gnanadesikan}}{{}}}
\bibcite{Goldberg:1989:GAS:534133}{{16}{1989}{{Goldberg}}{{}}}
\bibcite{IencoPM09}{{17}{2009}{{Ienco et~al.}}{{Ienco, Pensa, and Meo}}}
\bibcite{JaffarL87}{{18}{1987}{{Jaffar and Lassez}}{{}}}
\bibcite{Karalic:1997:FOR:251646.251651}{{19}{1997}{{Karali\v {c} and Bratko}}{{}}}
\bibcite{cruise1}{{20}{2001}{{Kim and Loh}}{{}}}
\bibcite{knobbe1}{{21}{2006}{{Knobbe}}{{}}}
\bibcite{KrogelEtAl:2003}{{22}{2003}{{Krogel et~al.}}{{Krogel, Rawles, Zelezny, Flach, Lavrac, and Wrobel}}}
\bibcite{lavrac1}{{23}{1994}{{Lavrac and Dzeroski}}{{}}}
\bibcite{Lavrac:1991:LND:645322.649501}{{24}{1991}{{Lavrac et~al.}}{{Lavrac, Dzeroski, and Grobelnik}}}
\bibcite{quest1}{{25}{1997}{{Loh and Shih}}{{}}}
\bibcite{Macqueen67somemethods}{{26}{1967}{{Macqueen}}{{}}}
\bibcite{omt1}{{27}{2011}{{Mu\~noz Texzocotetla and MacKinney-Romero}}{{}}}
\bibcite{Muggleton99inductivelogic}{{28}{1999}{{Muggleton}}{{}}}
\bibcite{muggleton1}{{29}{1994}{{Muggleton and De~Raedt}}{{}}}
\bibcite{Muggleton89anexperimental}{{30}{1989}{{Muggleton et~al.}}{{Muggleton, Bain, Hayes-michie, and Michie}}}
\bibcite{Muggleton_2012_IT_2123932_2123939}{{31}{2012}{{Muggleton et~al.}}{{Muggleton, Raedt, Poole, Bratko, Flach, Inoue, and Srinivasan}}}
\bibcite{quinlan1}{{32}{1990}{{Quinlan}}{{}}}
\bibcite{Muggleton94mutagenesis:ilp}{{33}{1994}{{Srinivasan et~al.}}{{Srinivasan, Muggleton, Srinivasan, and Muggleton}}}
\bibcite{aleph1}{{34}{2004}{{Srinivasan}}{{}}}
\bibcite{Srinivasan97carcinogenesispredictions}{{35}{1997}{{Srinivasan et~al.}}{{Srinivasan, King, Muggleton, and Sternberg}}}
\bibcite{Srinivasan99numericalreasoning}{{36}{1999}{{Srinivasan et~al.}}{{Srinivasan, Camacho, and Alegre}}}
\bibcite{UtgoffM82}{{37}{1982}{{Utgoff and Mitchell}}{{}}}
\bibcite{Laer96multi-classproblems}{{38}{1996}{{Van~Laer et~al.}}{{Van~Laer, Dzeroski, and Raedt}}}
